Skip to main content

Full text of "Generalized heat kernel coefficients"

See other formats


Generalized heat kernel coefficients 

L.L. Salcedo 

Departamento de Fisica Moderna 

Universidad de Granada 

E- 18071 Granada, Spain 

(February 1, 2008) 



O 
O 

(N 

CD 

(N 

(N 
> 

m 
en 

o 
o 

:^ 

-(— > 

Oh! 



X 



Following Osipov and Hiller, a generalized heat kernel ex- 
pansion is considered for the effective action of bosonic oper- 
ators. In this generalization, the standard heat kernel expan- 
sion, which counts inverse powers of a c-number mass param- 
eter, is extended by allowing the mass to be a matrix in flavor 
space. We show that the generalized heat kernel coefficients 
can be related to the standard ones in a simple way. This 
holds with or without trace and integration over spacetime, 
to all orders and for general flavor spaces. Gauge invariance 
is manifest. 

PACS numbers: 12.39.Fe 11.30.Rd 
Keywords: heat kernel expansion, effective action, renor- 
malization, chiral lagrangians 



Let the bosonic operator be 



(1) 



where the gauge field A^i(a;) and the scalar field U{x) 
are matrices in some flavor space. This kind of operators 
appear frequently in the computation of the effective ac- 
tion of fermions (see e.g. Q). In particular the normal 
parity component of such an effective action is directly 
related to the determinant of the operator A — D^D (D 
being the Dirac operator). A standard technical device 
to compute the effective action is to split the scalar field 
into two contributions 



Uix) = m^ + Yix) 



(2) 



where m^ is a constant c-number (squared) mass parame- 
ter. This allows to carry out an expansion in inverse pow- 
ers of 771^ with coefficients which are homogeneous poly- 
nomials constructed with the quantities Y and D^. These 
coefficients are ordered by its scale dimension and thus 
they are identical to those of the standard heat kernel 
expansion [0-H. These coefficients are very well-known 
and we refer to |jl|,|| for details. 

In the context of effective theories of quarks aiming at 
modeling QCD at low energy |^ , Osipov and Hiller [^] 
consider instead a more general separation of the scalar 
field 



U{x) = M + Y{x) 



(3) 



where M is still a constant (i.e. x-independent) but not 
necessarily a c-number. In general M is a matrix in ffavor 



space. In a typical application M = diag(?Ti^, . . . ,r7i^) 
for n flavors, rrii being the constituent quark mass of the 
j-th flavor, and Y{x) accounts for the deviations of the 
scalar field from M. Obviously in the particular case 
of degenerated masses the previous case M — m^ (a c- 
number) is recovered. 

One can try to carry out an expansion in inverse powers 
of M (i.e. a large mass expansion) in this more general 
setting. A straight approach is to organize the expansion 
in such a way that each term is again a homogeneous 
polynomial in D^ and Y. Technically this can be done 
by introducing a bookkeeping parameter A 



Ax = M - XD^ + XYix) , 



(4) 



and then proceed to expand the effective action in powers 
of A. This simple minded approach, however, meets the 
problem that gauge invariance is not preserved separately 
by each term of the expansion [0,1). (Of course gauge 
invariance holds for the full effective action functional.) 
The problem is that we want to regard A, as well as 
its associated effective action, as a functionals where the 
external fields A^ and Y are the true variables and M 
and the operator du play the role of fixed parameters, i.e. 



A = A(A, F; M) = M - D^ + Y{x) . 



(5) 



From this point of view, under a gauge transformation 
{Cl{x) being a matrix in ffavor space) 



n-\x)A{Y,A;M)n{x) ^ A{Y'\A'';M) 



(6) 



The quantities M and 9^ are gauge invariant by defini- 
tion, Dfj^ and U transform homogeneously under a sim- 
ilarity transformation and the external fields A^ and Y 
transform inhomogeneously: 



M 



£>;,'= n-^Df,n , u^ = n-^un 



30_ 

^11 — ^P 



(7) 



V^^ ^ Y 



n-^[u,n] 



It is clear now that, because A does not affect M in Aa, 
the expansion in A breaks gauge invariance, i.e. in general 
Ax{Y^,A^;M) wiU not coincide with n-^Ax{Y, A- M)n 



at A 7^ 1. They do coincide when M 



is a c-number 



and in this case the standard heat kernel expansion is 
recovered. 



As an aside, we note that manifest gauge invariance is 
automatic order by order in the context of a strict deriva- 
tive expansion of the effective action functional (e.g. 0), 
that is considering instead A a = U{x) — XD^. The strict 
derivative expansion can be viewed as a resummation of 
the heat kernel expansion to all orders in Y. Recently 
explicit closed formulas have been obtained in such an 
expansion for both the normal and the abnormal parity 
components of the effective action of fermions coupled to 
vector, axial, scalar and pseudo-scalar external fields and 
for an arbitrary flavor group pOl. In the normal parity 
case the formulas hold for arbitrary space-time dimen- 
sion through fourth order in the covariant derivatives. In 
the abnormal parity case the leading order is computed 
in two and four dimensions. 

The problem of obtaining a manifestly gauge invariant 
inverse mass expansion for matricial M has been solved 
by Osipov and Hillcr in 0J§1 and explicit results are pre- 
sented there for lowest orders in the case of two and three 
flavors without gauge fields. Presently we reformulate 
their approach in a way that makes it simple to treat 
the case of arbitrary flavor group and the introduction of 
gauge fields. Finally we find a simple relation between 
the generalized heat kernel coefficients and the standard 
ones so that no new calculation of these coefficients from 
scratch is required. 

In order to present the formalism let X and Z denote 
two matrices (or operators) in some space V, such that 
the combination X + Z transforms by a similarity trans- 
formation, X represents the term which is defined to be 
invariant under gauge transformations and Z transforms 
inhomogeneously (thus, X, Z and X + Z generalize M, Y 
and U respectively). Consider now the gauge covariant 
quantity f{X + Z) where f{x) is some arbitrary func- 
tion such as e.g. the logarithm. (Note that / itself is a 
c-number although its argument, and thus its value, can 
be a matrix.) Loosely speaking what we are seeking is to 
obtain an expansion for small Z (or large X) that gen- 
eralizes the usual Taylor expansion valid for c-number X 
and Z (or more generally, valid when X and Z commute) , 
but in such a way that each term of the expansion is sep- 
arately gauge covariant. This can be achieved as follows. 
Let the coefficients Z„ be defined by the set of relations 



fc=0 



{X + zr - E ( r ) (^""') ^*(^' ^) ' ^ = 0, 1, 2, , 



(8) 



In this formula the notation (A) represents an average of 
a matrix A in V, namely 



(A) 



tr(A) 
tr(l) 



(9) 



where tr denotes the trace operation in V. The coeffi- 
cients Zn are matrices and are recursively defined by the 



formula. The depend both on Z and X in general. Of 
course when X is a c-number Zn is simply Z" . 

Since {x", n ~ 0,1,2,...} is a basis of functions we 
can take linear combinations in the previous formula and 
write more generally 



/(x + z) = E;;i(/^"H^))^- 



(10) 



where f{x) is an arbitrary function and /'"' {x) is its n-th 
dcrivativcJ^ Note that the coefficients Zn do not depend 
on the function f{x). 

Three crucial properties of these coefficients can be 
established without explicit computation: 

(i) The Zn depend on Z and X but this dependence 
is such that Z„ remains unchanged if X is replaced by 
X + a where a is any c-number: 



Zn{Z,X)=Zn{Z,X + a) 



(11) 



This is because the shift introduced by a can be absorbed 
by a redefinition of f{x). 

(ii) The coefficients are gauge covariant since {X + Z)" 
is covariant and (X") is invariant for all n: 

Zn{z",x) = n-^Zn{z,x)n, z^^ = n-^{x + z)n-x . 

(12) 
(iii) For the traced quantity 

CXJ ^ 

tr fiX + Z) = J2- (/'"H^)) 2n , Zn = tr(Z„) . 

(13) 



n=0 



Then, the z„ vanish for vanishing Z (except zq which 
equals tr(l)): 



Zn{0,X) = 0, (n>0). 



(14) 



This latter property distinguishes this expansion from 
other possible expansions which also enjoy the properties 
(i) and (ii), for instance 



f{X + Z) = Y,-f^-H{X))Z', 



(15) 



The correct choice of {f{X)) among other possible choices 
is a merit of |0,|| . 
At lowest orders 



^As usual in quantum field theory, we will be happy if the 
formulas hold in the sense of asymptotic series. They are not 
required nor expected to be convergent. 



^0=1, 

Zi=Z + X, 

Z2= {Z + Xf - X2 , 

Z3= {Z + Xf - 3x2{Z + X) 



(16) 



X3 



where we have introduced the foUowing notation 

X = X-{X), S„ - {X") . (17) 

For the traced coefficients 



zo= tr(l) , 

zi= tr{Z) , 

Z2=tiiZ^+2XZ), 

Z3= tr(Z3 + 3XZ^ + 3(^2 - X2)Z) . 



(18) 



The property (i) noted above is manifest since Z„ de- 
pends on X only (and is independent of (X)). Gauge 
covariance is also obvious since Z„ comes as a combi- 
nation of powers of Z + X, and this matrix transforms 
covariantly. 

For subsequent application in the effective action prob- 
lem some properties of the Z„ will be needed. First note 
that by taking a first order variation with respect to Z, 
either in (||) or (p^), and using the identity 

StT{f{X + Z))=tiif'{X + Z)5Z), (19) 

it follows that 

^="Z„^i, (20) 

which is well-known in the context of the heat kernel ex- 
pansion H] . Next note that from their definition (g) and 
the property (^l]) above, which allows to use X instead 
of X, one has to all orders 



Z,,^{Z + xr-J2[l]^n^kZk (21) 



fc=0 



fc=0 



/3„,fc(Z + X)^- 



(22) 



for some c-number coefficients (3n,k which do not depend 
on Z. The allowable dependence of these coefficients on n 
and k can be delimited by using (EG) which immediately 
implies that 



(3n,k — -rPn-lM-l ^ ' ' ' ^ [ h I f^n~k,0 ■ 



(23) 



Therefore (defining /3„ = Pn,o) eq. (|22| ) can be given the 
following sharper form: 



k=0 ^ 



(24) 



The recurrence (Ul\l then takes the form 



XkPn 



k=2 ^ ' 

and for lowest orders yields 
/3o=l, 

/32= -X2 , 

/33= -S3 , 



(25) 



(26) 



/34 



-x^ -I- 6X2 , 



Note that this differs from the usual cumulant expansion 
beyond third order. 

A further identity will be needed to relate the standard 
and generalized heat kernel coefficients. Let 



00 

r-O 



jir ( d 
r\ \d{X) 



(27) 



Here d/d{X) refers to the dependence on {X) of f{X) 
written as f{X + {X)), and so df{X)/d{X) = f'{X). 
Then the following identity holds 



fix + Z)=fxJ2l^_ (^^'^ ^^^) ^^ + ^^' 



(28) 



This is easily proved as follows 
/(X + Z)=^1(/(")(X))Z„ 

n,k ^ ' 



r,k 



fxJ2T^(f^'^iX))(Z + X) 



k\ 



(29) 



Let us now turn to the application of the previous re- 
sults to compute the generalized heat kernel expansion. 
As is well-known the effective action of the complex bosonic 
field with Klein-Gordon operator A is — Tr(log(A)) (where 
Tr refers to functional trace). This and related func- 
tionals can be obtained once the "current" (x|A~^|a:) is 
known.n In the standard case when M = rn^ is a c- 
number the current can be expanded as 



^It is understood that the current is known for the whole 
family of operators A — A for any complex A, then 



Tr/(A) 



a X 



S/(A)tr(.|^|.) 



where the path F encloses the spectrum of A 



(x|A-i|a;) = ^(-l)"/„+ia„, 



where 



/« = 



n=0 



d''p 



{2ttY (m2+p2)» 



(30) 



(31) 



{d being the spacetime dimension) and a„ are the (diag- 
onal) heat kernel coefficients. They are polynomials of 
dimension 2n constructed with Y, F^i, = [Z?^,£)^] and 
their covariant derivatives and they do not explicitly de- 
pend on d. At lowest orders 



ai=Y, 



(32) 



(Our convention is that of [y_l|J^] which differs from that 
of ||l|] by a factor 1/n!) The lowest order integrals /„ are 
ultraviolet divergent and so some renormalization is un- 
derstood. Because the corresponding heat kernel coef- 
ficients are polynomials, this renormalization translates 
into the standard polynomial ambiguity in the effective 
action (and current etc) in its ultraviolet divergent con- 
tributions. 

Quite naturally, in the general case of arbitrary M the 
generalized heat kernel coefficients 6„ are defined as 



(a;|A-i|a;)= V(-l)"/„+i&„ 



n=0 



where now 



/« = 



1 



d<^p 

{2'kY \{M+p^y 



(33) 



(34) 



and the average ( ) refers to flavor space. 

Before embarking in the task of computing these gen- 
eralized coefficients from scratch, it is advisable to rest a 
moment and consider what result is to be expected. The 
formulas regarding the expansion of f{X + Z) are fairly 
general (no assumption was made on the vector space 
1^), but of course they are formal due to ultraviolet di- 
vergences when applied to the operator A. Technically a 
very definite problem in these calculations is the lack of 
cyclic property of the trace when the operator D^ (or 9^) 
is involved. In order to avoid these complications, let us 
temporarily neglect the contributions from derivatives. 
In this case A equals U = M + Y and this corresponds 
to X — M and Z = Y in the previous formulas. Ex- 



M = M - (M) , 



(35) 



Therefore, for terms without derivatives, we obtain a sim- 
ple relation between standard and generalized heat kernel 
coefficients, which is just a translation of eq. (p4|), namely 



fe=0 ^ ^ 



(36) 



where a^ denotes the usual heat kernel coefficient but 
using everywhere 



Y' = Y + M 



(37) 



instead of Y . In addition, the quantities /3„ are given by 
the same formulas (25 2g) with Xn — (M"). 

Because the simple relation (|3q ) is perfectly well-defined 
and sensible also in presence of covariant derivatives it 
can be conjectured that it holds in general. In fact this 
is the case, as will be shown subsequently. This is our 
main result. To lowest orders 



bi^Y + M , 
62= [Y + Mf 



^-[D^,[D,,,Y + M]]+^-F^,F^, 



(38) 



The analogous relation holds for the traced and inte- 
grated (over x) coefficients needed for the effective action. 
We have verified that the results in for the traced co- 
efficients 60,^17 ^2, &3,&4 in SU(2) are reproduced. We 
remark that the replacement Y ^ Y' = Y -\- M should 
be done everywhere in a„ (i.e. in terms with derivatives 
too). The gauge covariance (in Y) is obvious in a^ since 
Y' is itself covariant. Another remark is that the for- 
mula (^2|) is not sufficient to obtain the result, in fact it 
does not even guarantee gauge invariance (in A^), and 
the more detailed formula (^) is needed. 

Let us now turn to the proof of the relation ( pq ) . The 
main observation is that we do not really need to compute 
the generalized coefficients but only to relate them to the 
standard ones. Therefore our strategy will be to start 
the computation of the coefficients and at some point 
recognize that the relation (pq) will be obtained. 

There is an abundant literature on the computation of 
the heat kernel coefficients in various settings H. Here 
we will use a method convenient for our present purposes. 
The first step is to use the method of symbols p^ to 
express the current 



|A-i|a;} 



d'^ 



1^^ 



1 



(2^)-^^ \iD^+p^Y + U 



|0) (39) 



panding the current (M -I- y)~^ yields /„ — ((ttt,^)^") where |0) is the state with zero momentum {x\Q) = 1 
and a„ = Z^ = Y" in the standard expansion (30) and 
/„ = (Af^") and 6„ — Zn in the generalized case (33). 
Zn is given in eq. (E4h as a definite combination of Z" 



and so 9^1 0) = 0. This allows to deal with the ultraviolet 



but with Z shifted by X. In our case X corresponds to 



divergence {x\x) but explicit gauge covariance is lost. Ex- 
plicit gauge invariance is only recovered after integration 
over p^. 



In order to apply our formulas, we identify 



X = M + p2 



Z 



-D^ + 2ip^D. + Y , 



(40) 



regarded as operators in the space of position (spanned 
by |a;)) and flavor, p^ is a c-number parameter. Because 
X is ^-independent the averages {f{X)) or {f{X)) are all 
in flavor space and well-defined. In particular X — M. 
Further we define 



t^n 



1 



A direct application of 



d'^p 



^n ■ 



{2'kY' 
and (Pq) then gives 



— ^^(-l)"J„+i(xlZ„|0) 



(41) 



(42) 



/jd °° 

^5](-l)"J„+i(x|(Z + Af)"|0). (43) 



In this formula the operator Tm acts on the J„. It is given 
in (27) and the /?„ are constructed with Xk = {M^). 

A calculation of the coefhcients would now proceed from 
( [43| ) as follows (see e.g. g): (i) expanding the binomial, 
(ii) using angular averaging in momentum space, (iii) us- 
ing integration by parts in momentum space (this step 
groups together terms with a same dimension where it 
counts only the dimension carried by D^ and Y' — Y+M 
but not that carried by the momentum), and (iv) bring- 
ing the expression to an explicit form where the operators 
Dfj, appear in covariant derivatives (i.e. in commutators) 
only. These manipulations produce terms where all op- 
erators are purely multiplicative (all derivative operators 
are already inside commutators) and so equivalent to or- 
dinary functions of x, thus the matrix element (x| |0) 
simple evaluates that function at x. This yields the heat 
kernel coefficients in this approach. (We have explicitly 
computed h^, bi and &2 using this method to verify that 
no subtleties arise.) However this is not necessary: it can 
be observed that when M is a c-number M vanishes and 
the formula becomes 



produces 



(a;|A- 



dln 

d{M) 



E(-ir 



-nl, 



n+l 



i-n+1 



Pn-kO-k 



(46) 



(47) 



and (^) follows. 

In summary, developing ideas put forward by Osipov 
and Hiller, we have presented a general formalism to treat 
the problem of expanding functionals above non c-number 
operators while preserving full gauge invariance.R We 
have shown that it is not restricted to formal applications 
(finite dimensional spaces) since it holds too in presence 
of ultraviolet divergences. This formalism has been ap- 
plied to obtain a simple relation (56|) between the stan- 
dard and the generalized heat kernel coefficients intro- 
duced in @,|1. 



ACKNOWLEDGMENTS 

I would like to thank C. Garcia Redo for comments 
on the manuscript. This work was supported in part by 
funds provided by the Spanish DGICYT grant no. PB98- 
1367 and Junta de Andalucia grant no. FQM-225. 



/P y(_l)«j„+i(x|Z"|0). (44) |iep-th/0104165] 

(27r)'^ ^ 11/ \ ) [8] A. A. Osipov anc 



(27r)'^ ^ 

All the manipulations (i-iv) just described can be carried 
out here and we know that the final result is just the 
standard heat kernel expansion quoted in (|30| ) . Then 
when these very manipulations are used in ([43[) they will 
produce the same result except that Y is replaced by 
Y + M (the fact that J„ involves an average over flavor 
does not make any difference). That is. 



[1] 
[2] 
[3] 

[4] 
[5] 

[6] 

[7] 

[8] 

[9] 

M 



R. D. Ball, Phys. Rept. 182 (1989) 1. 

J. Schwinger, Phys. Rev. 82 (1951) 664. 

B. S. Dewitt, Phys. Rev. 162 (1967) 1195; Phys. Rept. 

19 (1975) 295. 

R.T. Seeley, Proc. Symp. Pure Math. 10 (1967) 288. 

A. E. van de Ve n, Class. Quant. Grav. 15 (1998) 2311 



| tiep-th/9708152 



D. Espriu, E. de Rafael and J. Taron, Nucl. Phys. B 345 

(1990) 22 [Erratum-ibid. B 355 (1990) 278]. 

A. A. Osipov and B. Hiller, Phys. Lett. B515 (2001) 458 



A. A. Osipov and B. Hiller, "L arge mass invaria nt asymp- 



hep-th/0106226 



totics of the effective action 

L. Chan, Phys. Rev. Lett. 57''(1986) 1199; J. Caro and 
L.L. Salcedo, Phys. Lett. B309 (1993) 359. 
L. L. Salcedo, Eur. Phys. J. C 20 (2001) 
Phys 



th/0012166 



th/0012174 



Eur. 



J. C 20 (2001) 



147 
161 



[ae£ 



[aep- 



[11] I. G. Avramidi, Nucl. Phys. B 355 (1991) 712 [Erratum- 
ibid. B 509 (1991) 577]. 



(x| A- V)=TmE (-!)"/„+!<, . 
Finally, using 



n=0 



(45) 



■^A similar construction has been considered in the context 
of quantum gravity by Floreanini and Percacci [hd] . 



[12] L. L. Sal cedo and E. Ru iz Arriola, Annals Phys. 250 



(1996) 1 |hep-th/941214C |. 
[13] R. Floreanini and R. Percacci, Phys. Rev. D 46 (1992) 
1566.